product preserving functor

积保存函子